"Franz Baader" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings (Lecture Notes in Artificial Intelligence 2741)

Автор: Franz Baader

Размер книги: 4.62 Mb

The Description Logic Handbook: Theory, Implementation and Applications

Автор: Franz Baader (editor), Автор: Diego Calvanese (editor), Автор: Deborah L. McGuinness (editor), Автор: Daniele Nardi (editor), Автор: Peter F. Patel-Schneider (editor)

Размер книги: 5.10 Mb

Term Rewriting and All That

Автор: Franz Baader, Автор: Tobias Nipkow

Размер книги: 2.19 Mb

The description logic handbook: Theory, implementation and applications

Автор: Franz Baader, Автор: Diego Calvanese, Автор: Deborah McGuinness, Автор: Daniele Nardi, Автор: Peter Patel-Schneider

Категория: Computer science, AI, knowledge

Размер книги: 2.20 Mb

Term rewriting and all that

Автор: Franz Baader, Автор: Tobias Nipkow

Категория: Cs_Computer science, CsAl_Algorithms

Размер книги: 2.40 Mb

Term Rewriting and Applications, 18 conf., RTA 2007

Автор: Franz Baader

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 4.02 Mb

The Description Logic Handbook

Автор: Franz Baader, Автор: Diego Calvanese, Автор: Deborah McGuinness, Автор: Daniele Nardi, Автор: Peter Patel-Schneider

Категория: Academic books, Theology

Размер книги: 4.19 Mb

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Автор: Franz Baader

Размер книги: 5.72 Mb

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Автор: Franz Baader, Автор: Gerhard Brewka, Автор: Thomas Eiter

Размер книги: 4.09 Mb

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Автор: Franz Baader, Автор: Andrei Voronkov

Размер книги: 5.17 Mb